\begin{nusmvCommand}{check\_spec} {Performs fair CTL model checking.}

\cmdLine{check\_spec [-h] [-m | -o output-file] [-n number | -p \linebreak"\ctlexpr [IN context]"]}

Performs fair CTL model checking.  

Since version 2.4.1 this command is \emph{deprecated} but still
provided for backward compatibility reasons. Use
\command{check\_ctlspec} instead.

\end{nusmvCommand}
